Defining concurrent processes constructively
نویسندگان
چکیده
منابع مشابه
Defining Concurrent Processes Constructively
This paper proposes a constructive logic in which a concurrent system can be de ned as a proof of a speci cation. The logic is de ned by adding stream types and several rules for them to an ordinary constructive logic. The unique feature of the obtained system is in the (MPST ) rule which is a kind of structural induction on streams. The (MPST ) rule is based on the idea of largest xed point in...
متن کاملFormally defining medical processes.
OBJECTIVES To demonstrate a technology-based approach to continuously improving the safety of medical processes. METHODS The paper describes the Little-JIL process definition language, originally developed to support software engineering, and shows how it can be used to model medical processes. The paper describes a Little-JIL model of a chemotherapy process and demonstrates how this model, a...
متن کاملComposing Concurrent Processes
The execution of concurrent programs written in many concurrent logic programming languages can be depicted as the parallel execution of processes accessing in some way a common global data structure. As an example, the cc family of languages ((9]) has as data structure a so-called store composed of constraints. It is accessed by means of the tell primitive, which adds the told constraint to th...
متن کاملMarkov Concurrent Processes
We introduce a model for probabilistic systems with concurrency. The system is distributed over two local sites. Global trajectories of the system are composed of local trajectories glued along synchronizing points. Global trajectories are thus given as partial orders of events, and not as paths. As a consequence, time appears as a dynamic partial order, contrasting with the universal chain of ...
متن کاملCommunicating Concurrent Processes
Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single event. We modify CSP to process the events occurred simultaneously, which is called communicating concurrent processes (CCP).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1994
ISSN: 0304-3975
DOI: 10.1016/0304-3975(94)90205-4